Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
نویسنده
چکیده
Almost 30 years ago, the research on process calculi gained a lot of momentum with the invention of ACP, CCS and CSP. Later on, but also already 20 years ago, researchers started to consider so-called mobile variants of process calculi, in which communication channels were themselves treated as the exchanged data. The original Pi Calculus arose out of a reformulation and extension of CCS. In turn, it boosted the invention and study of a whole zoo of further process calculi. In this tutorial, we provide a bird’s-eye view on the jungle of results, techniques and subtleties about mobile process calculi. Next to a rough overview on the zoo of calculi, this includes the coverage of both semantic and pragmatic aspects, ranging from notions of equivalence and expressiveness to challenging application domains.
منابع مشابه
Subjective Symptoms Related to GSM Radiation from Mobile Phone Base Stations: a cross-sectional study
متن کامل
Subjective Neurological Symptoms Among Mobile Phone Users
Background: A lot of investigations exist on the biological effects of radiofrequency and microwave radiation however only a few studies have considered non-carcinogenic exposure to radiations specifically from mobile phones. Objectives: To introduce some subjective neurological symptoms in mobile phone users. Materials and Methods: In this cross-sectional descriptive study conducted from March...
متن کاملComment to the Letter to the Editor: Subjective Symptoms Related to GSM Radiation from Mobile Phone Base Stations: a cross-sectional study In reply to the comments by Seyed Mohammad Javad Mortazavi
متن کامل
Software engineering risk management
Welcome to Software Engineering Risk Management (SERIM). As a professional associated with the development of software, you are well aware that the software development process can truly be a jungle, filled with hazards that lie in wait to sabotage your projects. These hazards (risks) are numerous and often complex. The purpose of this application is to help you find a safer path through this j...
متن کاملNursing Students’ Perspectives about a Mobile Software on Nursing Process for Bedside Use
Introduction: One of the most important approaches in nursing practice is using the nursing process model. Yet, according to the existing information, this systematic method is not widely used in Iran. Therefore, the objective of this research was to study nursing students’ opinions about a nursing process mobile software (as a means for facilitating nursing process implementation) for bedside ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006